#region License statement
// NJamb, a specification and delta-specification DSL
// Copyright (c) 2010-2011, Mark Knell
// Published under the MIT License; all other rights reserved
#endregion

#region using...
#endregion

namespace NJamb.Specifications.Delta
{
    public interface IDeltaSpecification : ISpecification
    {
        IPreconditionEvaluation EvaluatePrecondition();
    }
}
